[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 188 207 0 168 0 383 1034

N.S.

1 1.00 0.82 0.90 0.00 0.73 0.00 1.67 4.52

time (sec)

N/A 0.392 1.731 14.903 0.000 2.816 0.000 1.644 17.049

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 156 174 0 144 0 348 885

N.S.

1 1.00 0.85 0.95 0.00 0.78 0.00 1.89 4.81

time (sec)

N/A 0.236 2.548 13.947 0.000 3.486 0.000 1.695 16.795

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 170 476 0 430 0 419 -1

N.S.

1 1.00 0.93 2.62 0.00 2.36 0.00 2.30 -0.01

time (sec)

N/A 0.223 2.543 16.222 0.000 2.712 0.000 1.822 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 209 604 2780 440 0 559 -1

N.S.

1 1.00 1.14 3.28 15.11 2.39 0.00 3.04 -0.01

time (sec)

N/A 0.280 1.921 41.161 0.733 2.607 0.000 2.207 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 152 583 0 438 0 811 -1

N.S.

1 1.00 0.77 2.96 0.00 2.22 0.00 4.12 -0.01

time (sec)

N/A 0.423 1.264 51.471 0.000 3.197 0.000 2.297 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 140 846 0 410 0 1319 -1

N.S.

1 1.00 0.68 4.09 0.00 1.98 0.00 6.37 -0.00

time (sec)

N/A 0.448 1.780 27.790 0.000 3.800 0.000 2.460 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 156 1108 0 444 0 1542 -1

N.S.

1 1.00 0.73 5.15 0.00 2.07 0.00 7.17 -0.00

time (sec)

N/A 0.474 2.442 29.312 0.000 4.214 0.000 2.628 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 183 1381 0 490 0 1965 -1

N.S.

1 1.00 0.70 5.29 0.00 1.88 0.00 7.53 -0.00

time (sec)

N/A 0.554 2.529 28.747 0.000 4.474 0.000 2.808 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 217 1654 0 536 0 2319 -1

N.S.

1 1.00 0.70 5.32 0.00 1.72 0.00 7.46 -0.00

time (sec)

N/A 0.620 3.559 29.425 0.000 2.932 0.000 3.090 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

254 254 7186 1429 0 487 0 405 -1

N.S.

1 1.00 28.29 5.63 0.00 1.92 0.00 1.59 -0.00

time (sec)

N/A 0.593 30.306 15.665 0.000 2.935 0.000 1.769 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

208 208 2322 1144 0 448 0 270 -1

N.S.

1 1.00 11.16 5.50 0.00 2.15 0.00 1.30 -0.00

time (sec)

N/A 0.430 11.519 16.539 0.000 4.541 0.000 1.666 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

164 164 1666 859 0 405 0 281 -1

N.S.

1 1.00 10.16 5.24 0.00 2.47 0.00 1.71 -0.01

time (sec)

N/A 0.300 8.589 0.452 0.000 2.856 0.000 1.601 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

118 118 628 563 0 356 0 166 -1

N.S.

1 1.00 5.32 4.77 0.00 3.02 0.00 1.41 -0.01

time (sec)

N/A 0.156 7.169 0.358 0.000 3.099 0.000 1.454 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 123 347 0 439 0 0 -1

N.S.

1 1.00 1.04 2.94 0.00 3.72 0.00 0.00 -0.01

time (sec)

N/A 0.121 1.311 0.165 0.000 8.624 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 120 429 0 462 0 366 -1

N.S.

1 1.00 1.00 3.58 0.00 3.85 0.00 3.05 -0.01

time (sec)

N/A 0.167 1.241 0.326 0.000 13.515 0.000 1.990 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

169 169 16835 1025 0 521 0 628 -1

N.S.

1 1.00 99.62 6.07 0.00 3.08 0.00 3.72 -0.01

time (sec)

N/A 0.274 27.899 0.191 0.000 29.200 0.000 2.015 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 161 1561 0 562 0 1076 -1

N.S.

1 1.00 0.76 7.33 0.00 2.64 0.00 5.05 -0.00

time (sec)

N/A 0.397 0.859 0.211 0.000 24.043 0.000 2.172 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 178 2086 0 602 0 1370 -1

N.S.

1 1.00 0.69 8.05 0.00 2.32 0.00 5.29 -0.00

time (sec)

N/A 0.529 0.993 0.230 0.000 51.045 0.000 2.318 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

277 277 7210 1437 0 575 0 448 -1

N.S.

1 1.00 26.03 5.19 0.00 2.08 0.00 1.62 -0.00

time (sec)

N/A 0.588 25.406 0.244 0.000 4.330 0.000 1.679 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 7166 1152 0 534 0 303 -1

N.S.

1 1.00 31.29 5.03 0.00 2.33 0.00 1.32 -0.00

time (sec)

N/A 0.462 25.049 0.198 0.000 3.397 0.000 1.817 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

181 181 7119 867 0 483 0 294 -1

N.S.

1 1.00 39.33 4.79 0.00 2.67 0.00 1.62 -0.01

time (sec)

N/A 0.316 25.364 0.179 0.000 3.106 0.000 1.933 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

120 135 7086 581 0 398 0 200 -1

N.S.

1 1.12 59.05 4.84 0.00 3.32 0.00 1.67 -0.01

time (sec)

N/A 0.165 24.947 0.163 0.000 4.042 0.000 1.675 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

131 131 16084 732 0 568 0 0 -1

N.S.

1 1.00 122.78 5.59 0.00 4.34 0.00 0.00 -0.01

time (sec)

N/A 0.141 28.053 0.133 0.000 26.441 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 179 889 0 618 0 432 -1

N.S.

1 1.00 1.03 5.14 0.00 3.57 0.00 2.50 -0.01

time (sec)

N/A 0.285 2.560 0.202 0.000 43.093 0.000 2.471 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

232 232 17639 1569 0 685 0 657 -1

N.S.

1 1.00 76.03 6.76 0.00 2.95 0.00 2.83 -0.00

time (sec)

N/A 0.427 28.439 0.164 0.000 95.634 0.000 2.171 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 221 2094 0 724 0 1056 -1

N.S.

1 1.00 0.78 7.37 0.00 2.55 0.00 3.72 -0.00

time (sec)

N/A 0.568 3.183 0.175 0.000 63.802 0.000 2.311 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

277 277 7237 1439 0 638 0 447 -1

N.S.

1 1.00 26.13 5.19 0.00 2.30 0.00 1.61 -0.00

time (sec)

N/A 0.607 25.729 0.228 0.000 3.801 0.000 1.942 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

227 227 7197 1154 0 593 0 302 -1

N.S.

1 1.00 31.70 5.08 0.00 2.61 0.00 1.33 -0.00

time (sec)

N/A 0.467 25.486 0.196 0.000 2.976 0.000 1.807 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 7172 870 0 516 0 311 -1

N.S.

1 1.00 40.07 4.86 0.00 2.88 0.00 1.74 -0.01

time (sec)

N/A 0.338 25.507 0.174 0.000 4.328 0.000 1.691 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

137 137 7163 875 0 511 0 184 -1

N.S.

1 1.00 52.28 6.39 0.00 3.73 0.00 1.34 -0.01

time (sec)

N/A 0.184 25.394 0.162 0.000 3.283 0.000 1.811 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

171 171 16171 1097 0 706 0 0 -1

N.S.

1 1.00 94.57 6.42 0.00 4.13 0.00 0.00 -0.01

time (sec)

N/A 0.194 28.224 0.134 0.000 55.925 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 181 1338 0 774 0 478 -1

N.S.

1 1.00 0.83 6.17 0.00 3.57 0.00 2.20 -0.00

time (sec)

N/A 0.408 5.644 0.203 0.000 72.702 0.000 2.371 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

280 280 17717 2096 0 835 0 702 -1

N.S.

1 1.00 63.28 7.49 0.00 2.98 0.00 2.51 -0.00

time (sec)

N/A 0.582 28.520 0.165 0.000 131.241 0.000 2.472 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

217 217 1029 823 0 263 0 0 -1

N.S.

1 1.00 4.74 3.79 0.00 1.21 0.00 0.00 -0.00

time (sec)

N/A 0.181 7.005 0.196 0.000 1.120 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 366 714 0 234 0 0 -1

N.S.

1 1.00 2.02 3.94 0.00 1.29 0.00 0.00 -0.01

time (sec)

N/A 0.155 6.711 0.135 0.000 1.657 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 208 489 0 204 0 0 -1

N.S.

1 1.00 1.45 3.42 0.00 1.43 0.00 0.00 -0.01

time (sec)

N/A 0.142 2.031 0.117 0.000 0.999 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 183 380 0 166 0 0 -1

N.S.

1 1.00 1.33 2.75 0.00 1.20 0.00 0.00 -0.01

time (sec)

N/A 0.150 2.026 0.080 0.000 1.130 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 177 447 0 181 0 0 -1

N.S.

1 1.00 1.21 3.06 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.152 1.930 0.073 0.000 0.599 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 201 481 0 210 0 0 -1

N.S.

1 1.00 1.10 2.64 0.00 1.15 0.00 0.00 -0.01

time (sec)

N/A 0.171 2.361 0.083 0.000 1.250 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 231 512 0 231 0 0 -1

N.S.

1 1.00 1.07 2.38 0.00 1.07 0.00 0.00 -0.00

time (sec)

N/A 0.189 2.657 0.082 0.000 0.669 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

291 291 1270 1156 0 304 0 0 -1

N.S.

1 1.00 4.36 3.97 0.00 1.04 0.00 0.00 -0.00

time (sec)

N/A 0.333 7.295 0.210 0.000 1.213 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

255 255 1216 907 0 281 0 0 -1

N.S.

1 1.00 4.77 3.56 0.00 1.10 0.00 0.00 -0.00

time (sec)

N/A 0.310 7.099 0.171 0.000 0.600 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 265 881 0 248 0 0 -1

N.S.

1 1.00 1.24 4.12 0.00 1.16 0.00 0.00 -0.00

time (sec)

N/A 0.297 3.720 0.148 0.000 0.436 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 209 800 0 229 0 0 -1

N.S.

1 1.00 1.00 3.85 0.00 1.10 0.00 0.00 -0.00

time (sec)

N/A 0.296 2.617 0.134 0.000 0.817 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 187 595 0 199 0 0 -1

N.S.

1 1.00 0.87 2.78 0.00 0.93 0.00 0.00 -0.00

time (sec)

N/A 0.298 2.237 0.089 0.000 0.832 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 189 483 0 226 0 0 -1

N.S.

1 1.00 0.86 2.21 0.00 1.03 0.00 0.00 -0.00

time (sec)

N/A 0.306 2.446 0.087 0.000 0.552 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 234 514 0 249 0 0 -1

N.S.

1 1.00 0.92 2.02 0.00 0.98 0.00 0.00 -0.00

time (sec)

N/A 0.328 3.812 0.090 0.000 0.907 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 270 545 0 272 0 0 -1

N.S.

1 1.00 0.93 1.87 0.00 0.93 0.00 0.00 -0.00

time (sec)

N/A 0.345 4.771 0.095 0.000 0.874 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

343 343 1324 1400 0 327 0 0 -1

N.S.

1 1.00 3.86 4.08 0.00 0.95 0.00 0.00 -0.00

time (sec)

N/A 0.459 7.517 0.243 0.000 1.092 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

307 307 1267 1238 0 304 0 0 -1

N.S.

1 1.00 4.13 4.03 0.00 0.99 0.00 0.00 -0.00

time (sec)

N/A 0.434 7.299 0.228 0.000 0.700 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 359 1072 0 281 0 0 -1

N.S.

1 1.00 1.32 3.96 0.00 1.04 0.00 0.00 -0.00

time (sec)

N/A 0.418 5.552 0.182 0.000 0.839 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 316 1328 0 272 0 0 -1

N.S.

1 1.00 1.17 4.90 0.00 1.00 0.00 0.00 -0.00

time (sec)

N/A 0.420 4.849 0.167 0.000 1.043 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 275 950 0 259 0 0 -1

N.S.

1 1.00 1.02 3.52 0.00 0.96 0.00 0.00 -0.00

time (sec)

N/A 0.427 3.214 0.132 0.000 0.554 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 266 727 0 232 0 0 -1

N.S.

1 1.00 0.98 2.68 0.00 0.86 0.00 0.00 -0.00

time (sec)

N/A 0.419 3.235 0.100 0.000 0.853 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 214 514 0 249 0 0 -1

N.S.

1 1.00 0.79 1.90 0.00 0.92 0.00 0.00 -0.00

time (sec)

N/A 0.429 3.183 0.095 0.000 1.165 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 246 545 0 272 0 0 -1

N.S.

1 1.00 0.80 1.78 0.00 0.89 0.00 0.00 -0.00

time (sec)

N/A 0.447 5.222 0.098 0.000 1.809 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 300 576 0 295 0 0 -1

N.S.

1 1.00 0.87 1.68 0.00 0.86 0.00 0.00 -0.00

time (sec)

N/A 0.473 6.535 0.102 0.000 0.456 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

250 250 1307 785 0 369 0 0 -1

N.S.

1 1.00 5.23 3.14 0.00 1.48 0.00 0.00 -0.00

time (sec)

N/A 0.187 8.172 0.159 0.000 0.848 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

205 205 1261 467 0 335 0 0 -1

N.S.

1 1.00 6.15 2.28 0.00 1.63 0.00 0.00 -0.00

time (sec)

N/A 0.167 7.630 0.131 0.000 0.765 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

162 162 1224 353 0 275 0 0 -1

N.S.

1 1.00 7.56 2.18 0.00 1.70 0.00 0.00 -0.01

time (sec)

N/A 0.144 6.905 0.115 0.000 0.336 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

133 133 1243 281 0 266 0 0 -1

N.S.

1 1.00 9.35 2.11 0.00 2.00 0.00 0.00 -0.01

time (sec)

N/A 0.141 6.603 0.078 0.000 1.143 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

174 174 1287 300 0 287 0 0 -1

N.S.

1 1.00 7.40 1.72 0.00 1.65 0.00 0.00 -0.01

time (sec)

N/A 0.161 6.749 0.077 0.000 0.623 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

214 214 1350 320 0 307 0 0 -1

N.S.

1 1.00 6.31 1.50 0.00 1.43 0.00 0.00 -0.00

time (sec)

N/A 0.173 6.845 0.083 0.000 1.296 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

250 250 1406 341 0 327 0 0 -1

N.S.

1 1.00 5.62 1.36 0.00 1.31 0.00 0.00 -0.00

time (sec)

N/A 0.187 6.959 0.080 0.000 1.446 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

251 251 1347 724 0 464 0 0 -1

N.S.

1 1.00 5.37 2.88 0.00 1.85 0.00 0.00 -0.00

time (sec)

N/A 0.273 8.014 0.157 0.000 1.207 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

207 207 567 559 0 385 0 0 -1

N.S.

1 1.00 2.74 2.70 0.00 1.86 0.00 0.00 -0.00

time (sec)

N/A 0.261 4.595 0.115 0.000 0.630 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

173 173 1097 509 0 381 0 0 -1

N.S.

1 1.00 6.34 2.94 0.00 2.20 0.00 0.00 -0.01

time (sec)

N/A 0.237 6.905 0.092 0.000 0.395 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

184 184 1114 509 0 385 0 0 -1

N.S.

1 1.00 6.05 2.77 0.00 2.09 0.00 0.00 -0.01

time (sec)

N/A 0.254 7.026 0.096 0.000 1.083 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

220 220 1382 472 0 416 0 0 -1

N.S.

1 1.00 6.28 2.15 0.00 1.89 0.00 0.00 -0.00

time (sec)

N/A 0.285 7.185 0.096 0.000 0.597 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

254 254 1442 491 0 435 0 0 -1

N.S.

1 1.00 5.68 1.93 0.00 1.71 0.00 0.00 -0.00

time (sec)

N/A 0.279 7.315 0.099 0.000 1.222 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

308 308 1462 1013 0 593 0 0 -1

N.S.

1 1.00 4.75 3.29 0.00 1.93 0.00 0.00 -0.00

time (sec)

N/A 0.418 8.855 0.173 0.000 1.071 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

269 269 1430 789 0 534 0 0 -1

N.S.

1 1.00 5.32 2.93 0.00 1.99 0.00 0.00 -0.00

time (sec)

N/A 0.392 7.581 0.112 0.000 1.157 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

231 231 1425 624 0 529 0 0 -1

N.S.

1 1.00 6.17 2.70 0.00 2.29 0.00 0.00 -0.00

time (sec)

N/A 0.362 7.271 0.105 0.000 0.580 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

231 231 1431 624 0 529 0 0 -1

N.S.

1 1.00 6.19 2.70 0.00 2.29 0.00 0.00 -0.00

time (sec)

N/A 0.369 7.362 0.103 0.000 1.256 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

241 241 1449 624 0 535 0 0 -1

N.S.

1 1.00 6.01 2.59 0.00 2.22 0.00 0.00 -0.00

time (sec)

N/A 0.364 7.569 0.144 0.000 0.772 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

274 274 1497 638 0 546 0 0 -1

N.S.

1 1.00 5.46 2.33 0.00 1.99 0.00 0.00 -0.00

time (sec)

N/A 0.386 7.745 0.140 0.000 0.719 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

313 313 1555 666 0 563 0 0 -1

N.S.

1 1.00 4.97 2.13 0.00 1.80 0.00 0.00 -0.00

time (sec)

N/A 0.413 7.917 0.144 0.000 1.384 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 179 638 6492 506 0 0 -1

N.S.

1 1.00 0.79 2.81 28.60 2.23 0.00 0.00 -0.00

time (sec)

N/A 0.343 2.216 0.435 1.104 5.301 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 141 543 4002 466 0 0 -1

N.S.

1 1.00 0.79 3.03 22.36 2.60 0.00 0.00 -0.01

time (sec)

N/A 0.270 1.261 0.213 0.852 4.423 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 109 452 2167 414 0 0 -1

N.S.

1 1.00 0.83 3.45 16.54 3.16 0.00 0.00 -0.01

time (sec)

N/A 0.220 0.862 0.191 0.764 3.149 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 94 343 923 342 0 0 -1

N.S.

1 1.00 0.79 2.88 7.76 2.87 0.00 0.00 -0.01

time (sec)

N/A 0.217 0.621 0.235 0.695 3.896 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 94 210 373 358 0 0 -1

N.S.

1 1.00 0.78 1.75 3.11 2.98 0.00 0.00 -0.01

time (sec)

N/A 0.215 0.749 0.218 0.659 2.994 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 77 99 335 94 0 0 115

N.S.

1 1.00 0.60 0.77 2.60 0.73 0.00 0.00 0.89

time (sec)

N/A 0.236 0.550 0.210 0.666 2.280 0.000 0.000 4.986

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 99 130 609 115 0 0 151

N.S.

1 1.00 0.56 0.73 3.42 0.65 0.00 0.00 0.85

time (sec)

N/A 0.286 0.931 0.218 0.710 2.596 0.000 0.000 6.198

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 121 163 878 136 0 0 187

N.S.

1 1.00 0.54 0.72 3.88 0.60 0.00 0.00 0.83

time (sec)

N/A 0.331 1.479 0.230 0.707 3.049 0.000 0.000 7.765

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 211 732 10749 560 0 0 -1

N.S.

1 1.00 0.75 2.59 37.98 1.98 0.00 0.00 -0.00

time (sec)

N/A 0.490 3.812 0.220 1.767 5.076 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 177 637 8121 518 0 0 -1

N.S.

1 1.00 0.76 2.73 34.85 2.22 0.00 0.00 -0.00

time (sec)

N/A 0.423 2.499 0.201 1.145 3.430 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 142 546 5748 476 0 0 -1

N.S.

1 1.00 0.78 3.02 31.76 2.63 0.00 0.00 -0.01

time (sec)

N/A 0.351 1.582 0.181 0.884 3.296 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 129 533 3661 446 0 0 -1

N.S.

1 1.00 0.70 2.91 20.01 2.44 0.00 0.00 -0.01

time (sec)

N/A 0.352 1.313 0.201 0.802 2.924 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 122 383 1455 404 0 0 -1

N.S.

1 1.00 0.69 2.16 8.22 2.28 0.00 0.00 -0.01

time (sec)

N/A 0.347 1.138 0.231 0.698 3.583 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 162 245 522 410 0 0 -1

N.S.

1 1.00 0.94 1.42 3.03 2.38 0.00 0.00 -0.01

time (sec)

N/A 0.336 1.906 0.227 0.673 2.849 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 100 131 550 118 0 0 152

N.S.

1 1.00 0.55 0.72 3.04 0.65 0.00 0.00 0.84

time (sec)

N/A 0.312 1.038 0.208 0.654 3.285 0.000 0.000 6.354

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 123 164 908 140 0 0 188

N.S.

1 1.00 0.53 0.71 3.91 0.60 0.00 0.00 0.81

time (sec)

N/A 0.443 1.721 0.221 0.701 2.781 0.000 0.000 8.032

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 158 197 1188 162 0 0 392

N.S.

1 1.00 0.56 0.69 4.18 0.57 0.00 0.00 1.38

time (sec)

N/A 0.494 2.554 0.241 0.727 1.923 0.000 0.000 11.485

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 245 827 16461 634 0 0 -1

N.S.

1 1.00 0.74 2.48 49.43 1.90 0.00 0.00 -0.00

time (sec)

N/A 0.631 4.930 0.237 3.297 2.636 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 213 732 12710 588 0 0 -1

N.S.

1 1.00 0.76 2.60 45.23 2.09 0.00 0.00 -0.00

time (sec)

N/A 0.564 3.389 0.209 1.905 2.931 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 179 641 10154 542 0 0 -1

N.S.

1 1.00 0.77 2.75 43.58 2.33 0.00 0.00 -0.00

time (sec)

N/A 0.497 2.264 0.194 3.931 4.818 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 158 568 17788 524 0 0 -1

N.S.

1 1.00 0.68 2.44 76.34 2.25 0.00 0.00 -0.00

time (sec)

N/A 0.480 1.868 0.209 3.812 4.550 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 155 549 14913 510 0 0 -1

N.S.

1 1.00 0.67 2.36 64.00 2.19 0.00 0.00 -0.00

time (sec)

N/A 0.480 1.370 0.201 3.702 3.710 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 149 420 12147 470 0 0 -1

N.S.

1 1.00 0.67 1.88 54.47 2.11 0.00 0.00 -0.00

time (sec)

N/A 0.485 1.200 0.198 0.833 4.130 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]